package LivenessCheckOfFreeChoiceNet;


public class testEFCN {
	public static void main(String args[])
	{

		int[][]a1={
				{1,0,1,0},//S1`
				{0,1,0,0},//S2
				{0,1,0,0},//S3
				{0,0,0,1}//S4
		};
		int[][]a2={
				//s->t
			 // T1,T2,T3,T4
				{0,1,0,0},//S1
				{1,0,0,1},//S2
				{0,0,1,1},//S3
				{0,0,1,0}//S4
		};
		int []a3={0,0,0,0};

		FreeChoiceNet p =new FreeChoiceNet(4,4,a1,a2,a3);
	
		boolean flag;
		flag=p.isEFCN();
		System.out.println(flag);
	}
}
